Low-power FSM synthesis